481. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K66
2000
482. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000
پدیدآورنده: edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
J65
2000
483. Knowledge-based software engineering: proceedings of the Third Joint Conference on knowledge-based software engineering in Smolentice, Slovakia, 1998
پدیدآورنده: edited by Pavol Navrat and Haruki Ueno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K65
1998
484. Knowledge engineering and computer modelling in CAD :
پدیدآورنده: edited by Alison Smith
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Architecture-- Data processing-- Congresses,Computer-aided design-- Congresses,Engineering design-- Data processing-- Congresses
رده :
TA174
.
I475
1986
485. Knowledge engineering and management proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 )ISKE 2012(
پدیدآورنده: Fuchun Sun, Tianrui Li, Hongbo Li, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Congresses ، Artificial intelligence - Engineering applications,Congresses ، Intelligent agents )Computer software(,Congresses ، Systems engineering
رده :
Q334
486. Knowledge intensive CAD : Proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16-18 September 1996, Pittsburgh, PA, USA
پدیدآورنده: edited by Martti Mantyla, Susan Finger and Tetsuo Tomiyama
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer-aided design - Congresses , Engineering design - Data processing - Congresses
رده :
TA
345
.
5
.
D47
I34
1996
487. Knowledge international CAD: Proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16-18 September, 1996, Pittsburgh, PA, USA
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer-aided design-- Congresses,، Engineering design-- Data processing-- Congresses,، Artificial intelligence-- Congresses
رده :
TA
174
.
I13173
1996
488. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها ,معماری نرمافزار -- کنگره‌ها
رده :
E-Book
,
489. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده: \ Franco Fummi, Robert Wille, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
رده :
E-Book
,
490. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
پدیدآورنده: David O'Hallaron )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1511
491. Languages, design methods, and tools for electronic system design.
پدیدآورنده: \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
492. Large-scale scienctific computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers
پدیدآورنده: Svetozar Margenov, Jerzy Wasniewski, Plamen Yalamov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer systems,Congresses ، Computer algorithms,Congresses ، Engineering mathematics,Congresses ، High performance computing,Congresses ، Environmental sciences
رده :
QA
76
.
L28
Vol
.
2179
493. Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings
پدیدآورنده: Gunther Ruhe, Frank Bomarius )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1756
494. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
پدیدآورنده:
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (تهران)
موضوع: Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
495. MELECON '94, 7th Mediterranean Electrotechnical Conference : proceedings, April 12-14. 1994, Abtalya, Turkey
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Telecommunication systems,Congresses ، Electric engineering,Congresses ، Computer networks,Congresses ، Signal processing,Congresses ، Electronic measurements
رده :
TK
5101
.
A1
M38
1994
496. Machine vision for inspection and measurement /
پدیدآورنده: edited by Herbert Freeman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer vision, Congresses,Engineering inspection, Congresses,Contrôle technique - Congrès,Vision par ordinateur - Congrès
رده :
TA1632
.
M3363
1989
497. Machinme vision for inspection and mesurement
پدیدآورنده: / edited by Herbert freeman
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer vision-- congresses,Engineering inspection-- congresses
رده :
TA
1632
.
M3363
1989
498. Man-machine interactions 3
پدیدآورنده: Aleksandra Gruca, Tadeusz Czacho۱جrski, Stanis۲اaw Kozielski, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Congresses ، Human-computer interaction,، Engineering,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(
رده :
QA76
.
9
.
H85
499. Manufacturing and engineering technology :
پدیدآورنده: editors, Ai Sheng, Yizhong Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering, Congresses.,Industrial engineering, Congresses.,Materials science, Congresses.,Mechanical engineering, Congresses.
500. Manufacturing science and engineering, 1995: presented at 1995 ASME International Mechanical Engineering Congress and Exposition, November 12-17, 1995, San Francisco, California
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Production engineering,Congresses ، Manufacturing processes,Congresses ، Industrial engineering,Congresses ، Computer integrated manufacturing systems
رده :
TS
176
.
M36243
1995
